Inferential programming